Linear type system - PDFSEARCH.IO - Document Search Engine

Linear type system
Results: 27

#	Item
11	Elsevier Editorial System(tm) for Linear Algebra and its Applications Manuscript Draft Manuscript Number: LAA-DTitle: Directed modified Cholesky factorizations and convex quadratic relaxations Article Type: Reg Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2014-07-12 10:18:18 Numerical linear algebra Matrices Matrix theory Cholesky decomposition Operator theory Mathematical optimization Symmetric matrix Matrix Quadratic programming Algebra Linear algebra Mathematics
12	Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2010-10-14 05:33:04 Mathematics Linear filters Filter General topology Order theory Type system Natural deduction Kalman filter Electronic engineering Filter theory Electronics
13	A linear type system for pi calculus joint work with Vasco T. Vasconcelos Marco Giunti ´ INRIA & LIX, Ecole Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 06:07:57 Software engineering Π-calculus Type system ALGOL 68 Linear type system Calculus System F Function Type theory Programming language theory Mathematics
14	pMatlab v2.0 Function Reference Hahn Kim, Nadya Travinin, Jeremy Kepner {hgk, nt, kepner}@ll.mit.edu Table of Contents pMatlab ............................................................................................. Add to Reading List Source URL: www.ll.mit.edu Language: English - Date: 2012-10-11 10:51:19 Array programming languages Numerical linear algebra MATLAB Disaster Medical Assistance Team Array programming National Disaster Medical System Array data type MathWorks Software Federal Emergency Management Agency Computing
15	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
16	Linear types can change the world! Philip Wadler University of Glasgow copy a = (a ; a ); Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-02-23 02:55:52 Computer programming Program analysis Type system Type theory Linear programming Array data type Foreach loop Monad Comparison of programming languages Computing Software engineering Data types
17	REPRESENTATIONS OF KHOVANOV-LAUDA-ROUQUIER ALGEBRAS III: SYMMETRIC AFFINE TYPE PETER J MCNAMARA Abstract. We develop the homological theory of KLR algebras of symmetric affine type. For each PBW basis, a family of standa Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2015-01-01 21:57:41 Lie algebras Lie groups Linear algebra Euclidean geometry Root system Quantum group Vector space Weyl group Representation theory Algebra Abstract algebra Mathematics
18	OCaml 2014 in Sweden (presented at ML[removed]A Simple and Practical Linear Algebra Library Interface with Static Size Checking Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-03 09:10:18 Functional languages Numerical software OCaml Type system LAPACK Caml ML Software engineering Computing Computer programming
19	Journal of Business and Management Sciences, 2013, Vol. 1, No. 3, 36-43 Available online at http://pubs.sciepub.com/jbms/1/3/2 © Science and Education Publishing DOI:[removed]jbms[removed]Linear Programming Problem and P Add to Reading List Source URL: www.sciepub.com Language: English Fuzzy control system Fuzzy set Mathematical optimization Linear programming Fuzzy number Type-2 fuzzy sets and systems Fuzzy subalgebra Fuzzy logic Logic Mathematics
20	INSTR,INSTL,MC1090,GDO,RECEIVER LINEAR P/N: [removed]A INK: BLACK MATERIAL: 20 LB. MEAD BOND SIZE: 9.000" x 5.500" SCALE: 1-1 Add to Reading List Source URL: www.linearcorp.com Language: English - Date: 2008-08-20 16:08:11 Electronic engineering Transmitter Telecommunications engineering Joint Electronics Type Designation System AN/ARC-5 Radio electronics Technology Radio

UPDATE